![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
21st ASE 2006: Tokyo, Japan
- 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan. IEEE Computer Society 2006, ISBN 0-7695-2579-2
Introduction
- Preface.
- Conference Committee.
- Steering Committee.
- Program Committee.
- Expert Reviewer Panel.
- Introduction to Tool Demonstrations.
Keynote Talk
- Kokichi Futatsugi:
Verifying Specifications with Proof Scores in CafeOBJ. 3-10 - Sebastian Thrun:
Winning the DARPA Grand Challenge: A Robot Race through the Mojave Desert. 11 - Sriram K. Rajamani:
Automatic Property Checking for Software: Past, Present and Future. 12
Modeling and Synthesis
- Philip Gross, Gail E. Kaiser:
Automated Information Aggregation for Scaling Scale-Resistant Services. 15-24 - John C. Grundy
, John G. Hosking
, Nianping Zhu, Na Liu:
Generating Domain-Specific Visual Language Editors from High-level Tool Specifications. 25-36
Architecture
- Ian Warren, Jing Sun
, Sanjev Krishnamohan, Thiranjith Weerasinghe:
An Automated Formal Approach to Managing Dynamic Reconfiguration. 37-46 - Marwan Abi-Antoun, Jonathan Aldrich
, Nagi H. Nahas, Bradley R. Schmerl, David Garlan:
Differencing and Merging of Architectural Views. 47-58
Testing
- Marcelo d'Amorim
, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst:
An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. 59-68 - William G. J. Halfond, Alessandro Orso:
Command-Form Coverage for Testing Database Applications. 69-80
Impact Analysis
- Sunghun Kim, Thomas Zimmermann, Kai Pan, E. James Whitehead Jr.:
Automatic Identification of Bug-Introducing Changes. 81-90 - Yuanfang Cai, Kevin J. Sullivan:
Modularity Analysis of Logical Design Models. 91-102
Analysis I
- Eugen-Nicolae Volanschi:
A Portable Compiler-Integrated Approach to Permanent Checking. 103-112 - Michael Eichberg, Mira Mezini, Sven Kloppenburg, Klaus Ostermann, Benjamin Rank:
Integrating and Scheduling an Open Set of Static Analyses. 113-122 - Nija Shi, Ronald A. Olsson:
Reverse Engineering of Design Patterns from Java Source Code. 123-134
Traceability
- Leonardo Gresta Paulino Murta, André van der Hoek, Cláudia Maria Lima Werner
:
ArchTrace: Policy-Based Support for Managing Evolving Architecture-to-Implementation Traceability Links. 135-144 - Christian Neumuller, Paul Grünbacher
:
Automating Software Traceability in Very Small Companies: A Case Study and Lessons Learne. 145-156
Analysis II
- Xianghua Deng, Jooyong Lee, Robby:
Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. 157-166 - Jan Jürjens:
Security Analysis of Crypto-based Java Programs using Automated Theorem Provers. 167-176 - Cyrille Artho, Pierre-Loïc Garoche:
Accurate Centralization for Applying Model Checking on Networked Applications. 177-188
Management
- Ahmed E. Hassan, Ken Zhang:
Using Decision Trees to Predict the Certification Result of a Build. 189-198 - Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jerome Vouillon, Berke Durak, Xavier Leroy, Ralf Treinen:
Managing the Complexity of Large Free and Open Source Package-Based Software Distributions. 199-208 - Jacky Estublier, Sergio García:
Concurrent Engineering support in Software Engineering. 209-220
Mining Software Repositories
- Silvia Breu, Thomas Zimmermann:
Mining Aspects from Version History. 221-230 - Peter Weißgerber, Stephan Diehl
:
Identifying Refactorings from Source-Code Changes. 231-240 - Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan:
Sieve: A Tool for Automatically Detecting Variations Across Program Versions. 241-252
Short Papers
- Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos:
From Capability Specifications to Code for Multi-Agent Software. 253-256 - Matthias Book
, Volker Gruhn, Gerald Mucke:
An Instant Message-Driven User Interface Framework for Thin Client Applications. 257-260 - Jürgen Falb, Thomas Röck, Edin Arnautovic:
Using communicative acts in interaction design specifications for automated synthesis of user interfaces. 261-264 - Ewen Denney, Bernd Fischer
:
Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). 265-268 - Tien Nhut Nguyen:
A Unified Model for Product Data Management and Software Configuration Management. 269-272 - Tobias Reinhard, Christian Seybold, Silvio Meier, Martin Glinz, Nancy Merlo-Schett:
Human-Friendly Line Routing for Hierarchical Diagrams. 273-276 - Ken Satoh, Ken Kaneiwa, Takeaki Uno:
Contradiction Finding and Minimal Recovery for UML Class Diagrams. 277-280 - Alexander Paar, Walter F. Tichy:
Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL. 281-284 - Odile Laurent, Christel Seguin, Virginie Wiels:
A methodology for automated test generation guided by functional coverage constraints at specification level. 285-288 - Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson:
An Automated Approach for Goal-driven, Specification-based Testing. 289-292 - Mithun Acharya, Tanu Sharma, Jun Xu, Tao Xie:
Effective Generation of Interface Robustness Properties for Static Analysis. 293-296 - Naouel Moha, Yann-Gaël Guéhéneuc, Pierre Leduc:
Automatic Generation of Detection Algorithms for Design Defects. 297-300 - Chang Liu, En Ye, Debra J. Richardson:
Software Library Usage Pattern Extraction Using a Software Model Checker. 301-304 - Mikhail Chalabine, Christoph W. Keßler, Peter Bunus:
Automated Round-trip Software Engineering in Aspect Weaving Systems. 305-308 - Andrew Ireland:
Towards Automatic Assertion Refinement for Separation Logic. 309-312 - Paolo Falcarin
, Marco Torchiano
:
Automated Reasoning on Aspects Interactions. 313-316 - Maximilian Störzer, Florian Forster:
Detecting Precedence-Related Advice Interference. 317-322
Doctoral Symposium
- Michal Antkiewicz:
Round-Trip Engineering of Framework-Based Software using Framework-Specific Modeling Languages. 323-326 - Deepak Dhungana
:
Integrated Variability Modeling of Features and Architecture in Software Product Line Engineering. 327-330 - Chris Mattmann:
Software Connectors for Highly Distributed and Voluminous Data Intensive Systems. 331-334 - Ajitha Rajan:
Coverage Metrics to Measure Adequacy of Black-Box Test Suites. 335-338 - Mehrdad Sabetzadeh
:
Management of Incomplete and Inconsistent Views. 339-342 - Chiyoung Seo:
Energy-Awareness in Distributed Java-Based Software Systems. 343-348
Formal Tool Demo Presentations
- Robert J. Hall:
LSS: A Tool for Large Scale Scenarios. 349-350 - Noriko Hanakawa, Nao Ikemiya:
A new web browser including a transferable function to Ajax codes. 351-352 - Yves Ledru, Lydie du Bousquet:
Tobias-Z: An executable formal specification of a test generator. 353-354 - Marc Lohmann, Gregor Engels, Stefan Sauer:
Model-driven Monitoring: Generating Assertions from Visual Contracts. 355-356 - Ward Douglas Maurer:
The Rearranger - A New Assembler Utility. 357-358 - Nadège Pontisso, David Chemouil:
TOPCASED Combining Formal Methods with Model-Driven Engineering. 359-360 - George Spanoudakis, Andrea Zisman:
UML-based Service Discovery Tool. 361-362 - Takaaki Tateishi, Hisashi Miyashita, Kouichi Ono, Shin Saito:
Automated Verification Tool for DHTML. 363-364 - Nikolai Tillmann, Wolfram Schulte:
Mock-object generation with behavior. 365-368
Mini Tutorials
- Robby, Matthew B. Dwyer
, John Hatcliff:
Domain-specific Model Checking Using The Bogor Framework. 369-370 - Janice Singer:
Testing Tools and Techniques: A Mini-Tutorial on Evaluation Methods for ASE. 371-374
Workshops
- Elisa L. A. Baniassad, Kung Chen
, Shigeru Chiba, Jan Hannemann, Hidehiko Masuhara, Shangping Ren, Jianjun Zhao:
2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia). 375 - Yunwen Ye, Masao Ohira:
Second International Workshop on Supporting Knowledge Collaboration in Software Development (KCSD2006). 376 - Katsuhisa Maruyama, Makoto Matsushita, Shinichiro Yamamoto:
Japanese Workshop on Leveraging Web2.0 Technologies in Software Development Environments (WebSDE). 377 - Takako Nakatani, Haruhiko Kaiya:
Japanese Workshop on Requirements Engineering Tools (JWRET). 378
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.